Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
91	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION INTEGRATED ALGEBRA Wednesday, August 18, 2010 — 8:30 to 11:30 a.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2010-09-07 15:21:30 Algebraic logic Analytic geometry Boolean algebra Cartesian coordinate system Exponential function Mathematics Mathematical analysis Abstract algebra
92	Zentralblatt MATH Mathematics Subject Classification 2010 edited by Add to Reading List Source URL: www.mathem.pub.ro Language: English - Date: 2011-12-11 20:41:06 Algebraic structures Algebraic logic Lattice theory Fields of mathematics Mathematical structures Distributive lattice Combinatorics Areas of mathematics Graph theory Mathematics Abstract algebra Mathematical logic
93	Soft-error Robustness in QDI Circuits Wonjin Jang, Alain J. Martin Computer Science Department California Institute of Technology Pasadena, CA[removed]Abstract Add to Reading List Source URL: www.async.caltech.edu Language: English - Date: 2006-12-08 14:20:39 Digital electronics Variables Algebraic logic Quasi Delay Insensitive Soft error Final Circuit Hazard Boolean algebra Computing Mathematics Software engineering
94	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics
95	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-05 07:38:33 Boolean algebra Algebraic structures Order theory Forcing Algebraic logic Von Neumann algebra Algebra homomorphism Spectrum of a ring Ideal Abstract algebra Mathematics Algebra
96	Reprint from the magazine Design, London: Council of Industrial Design, N° 206, [removed]A city is not a tree By Christopher Alexander The article that follows has won for itself, and its author - an architect and Add to Reading List Source URL: isites.harvard.edu Language: English - Date: 2012-01-24 18:49:20 Algebraic structures Lattice theory Order theory Lattice Total order Mereology Antimatroid Distributive lattice Mathematics Abstract algebra Mathematical logic
97	Sets and Antisets Michael L. Carroll June 22, 2009 Abstract This paper modies, extends and, with respect to set union, provides for the algebraic closure of standard Zermelo-Fraenkel (ZF) set theory. It Add to Reading List Source URL: www.csz.com Language: English - Date: 2009-06-22 13:51:00 Z notation Zermelo–Fraenkel set theory Function Cardinality Power set Cardinal number Constructible universe Finite set Universe Mathematical logic Mathematics Set theory
98	LOGIC and MATHEMATICS A Review for Non-Mathematicians. Alun Wyn-jones Copyright[removed]Alun Wyn-jones. Revised March 15, 2014 Add to Reading List Source URL: circulants.org Language: English - Date: 2014-03-15 01:52:35 Algebraic structures Algebraic topology Group theory Symmetry Ring Abelian group Inverse element Group Function Abstract algebra Mathematics Algebra
99	Quantum Algebras, Systems, and Computation Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic structures Algebra Algebraic logic Quantum mechanics Mathematical logic Complemented lattice Boolean algebra Quantum logic Modular lattice Mathematics Abstract algebra Lattice theory
100	Realizability in classical logic Jean-Louis Krivine University Paris VII, C.N.R.S. P.P.S. Team [removed] Lessons in Marseille-Luminy, may 2004 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-09-16 11:45:33 Algebraic topology Symbol Spectral theory Sheaf Operator theory Ordinary differential equations Natural deduction Combinatory logic Mathematics Algebra Abstract algebra

UPDATE